考虑团队交互学习效应的单工作组可中断任务调度模型

工作组完成工作任务时团队成员间存在交互学习效应,考虑工作组规模、人员结构等因素可以更好地配置资源实现优化调度.基于标准加工时间和单人学习效应定义了团队交互学习效应,给出了基于团队交互学习效应和人员加工可中断约束的工时表征公式,构建了以最大完工时间最小为目标的单工作组可中断任务调度模型,设计了基于精英保留遗传算法(e-G...     

基于作为控制油源摆线泵的变量柱塞泵变量控制研究

该文研究在恒压变量柱塞泵壳体腔内集成摆线泵、调速阀以及节流阀等使柱塞泵多次变量,实现节能,同时大大缩短泵的启动时间。对变量控制机构和原理进行了重点研究,分析了摆线泵在变量控制中所起作用,在此基础上建立了变量控制机构的数学方程。本文提出了一种新的液压柱塞泵变量控制途径。     

目标跟踪综述

随着深度学习与人工智能技术的不断发展,视频目标跟踪已经成为了计算机视觉的重要研究内容,在公安布控、人机交互、交通管制、军事等各个领域起到越来越重要的作用。尽管现在国内外学者提出了多种目标跟踪算法,也搭建了较为完善的目标跟踪系统,但是算法的鲁棒性依然是一个比较大的挑战。本文对运动目标跟踪系统结构进行了简要介绍,并从特征提取及融合、外观模型、目标搜索等方面详细阐述了目前主流运动目标跟踪算法。然后对目标跟踪算法在深度学习大环境下的新发展进行了分析,从基于深度学习的目标跟踪及目标检测算法角度分析了深度学习在提高目标检测算法鲁棒性方面的有效性,最后概述了深度学习在视频目标检测算法中的具体应用并对其未来发展进行了展望。     

一种基于航电系统架构模型的故障树自动建模方法

航电系统作为安全关键系统,利用故障树对其进行安全性分析十分必要。然而,传统的故障树依靠手工构建,主要依赖于分析人员对系统的理解程度;同时由于安全性分析人员与系统设计人员对系统的理解不同而很难保证失效模式与系统架构的一致性。针对上述问题,提出了一种基于航电系统架构模型的故障树自动建模方法:通过向系统设计模型中添加相应的安全性属性,并嵌入高级形式化语言AltaRica中的断言机制描述故障转移过程,由此形成安全性分析模型;基于此模型利用路径追溯的方法完成故障树自动建模。以某飞机驾驶舱显示系统为案例的研究结果表明,所提出的方法能基于航电系统架构模型有效进行故障树自动建模,从而确保了故障树分析结果的完整性。     

基于FPGA的MP3音乐播放器设计

系统实现了基于FPGA的MP3音乐播放器的设计,详细介绍了系统的硬件组成和软件设计组成,并只对设计中的两个难点即控制器模块和发声模块的设计进行了详细说明,给出了相关流程图和部分代码,有利于读者对MP3音乐播放器设计进行深入了解。     

NUMA感知的持久内存存储引擎优化设计

持久性内存(persistmemory,PM)具有非易失、字节寻址、低时延和大容量等特性,打破了传统内外存之间的界限,对现有软件体系结构带来颠覆性影响.但是,当前PM硬件还存在着磨损不均衡、读写不对称等问题,特别是当跨NUMA(nonuniformmemoryaccess)节点访问PM时,存在着严重的I/O性能衰减问题.提出了一种NUMA感知的PM存储引擎优化设计,并应用到中兴新一代数据库系统GoldenX中,显著降低了数据库系统跨NUMA节点访问持久内存的开销.主要创新点包括:提出了一种DRAM+PM混合内存架构下跨NUMA节点的数据空间分布策略和分布式存取模型,实现了PM数据空间的高效使用;针对跨NUMA访问PM的高开销问题,提出了I/O代理例程访问方法,将跨NUMA访问PM开销转化为一次远程DRAM内存拷贝和本地访问PM的开销,设计了Cache Line Area (CLA)缓存页机制,缓解了I/O写放大问题,提升了本地访问PM的效率;扩展了传统表空间概念,让每个表空间既拥有独立的表数据存储,也拥有专门的WAL (write-ahead logging)日志存储,针对该分布式WA...     

多旋翼飞控推进子系统的Coq形式化验证

飞行器需要高可靠的飞行控制系统软件(飞控)来控制其运行.在传统开发模式下,先由人工将领域知识描述为自然语言形式的模型,再根据模型手动编写代码,然后使用软件测试技术来排除软件错误,这种模式由于人工易出错、自然语言存在二义性、测试技术的不完备性,导致难以构建出高可靠的飞控软件.基于形式验证技术的新型软件开发方法可从多方面提高飞控系统的可靠性.使用Coq定理证明器对全权提出的多旋翼飞控推进子系统进行了完整的形式验证,生成了一个可用的高可靠函数式软件库.主要工作有:首先将领域知识整理为具有层次结构以适合进行形式验证的文档,分离了基本函数和复合函数,并提出最简形式函数概念;再根据该文档进行形式化描述,定义常量、变量、基本函数、复合函数、最简形式函数和公理等;其次对各类导出函数的推导正确性建立为引理并予以证明;再次对多旋翼最长悬停时间等实际问题给出了求解算法;最后利用Coq程序抽取功能生成了OCaml语言的函数式软件库.后续将对飞控更多子系统进行基于形式验证的开发,并最终建立完整的经形式化验证的高可靠飞控系统.     

机载冷源参数对蒸发循环系统性能的影响

为了深入研究机载蒸发循环系统的工作特性及为搭建仿真计算模型做准备,基于试验室已有设备和条件,以一台新型微通道换热器作为研究对象,以R134a为工质,通过控制压缩机转速和电子膨胀阀开度一定,分别调节冷源温度和流量,考察冷源温度和流量对压缩机入口过热度、热源出口温度和制冷量的影响,并基于试验数据搭建了针对该蒸发器的仿真计算模型。试验结果表明在试验工况下,冷源防冻液入口温度对系统性能的影响明显,随冷源入口温度升高,压缩机入口过热度逐渐降低、热源出口温度明显升高,但冷源流量对系统性能的影响不显著。基于试验数据,建立了蒸发器仿真计算模型,将该模型应用于蒸发循环系统模型中,对比试验数据和仿真计算数据,可知,该蒸发器仿真计算模型准确可靠,可用于针对该蒸发器的性能仿真计算。     

基于SIP中继的95598呼叫中心压力测试方案研究

介绍了国家电网公司95598呼叫中心服务模式、技术特点和组网架构，分析了目前95598呼叫中心集中部署方式的优势和面临的挑战。针对呼叫系统面临业务集中，存在性能短板和突发事件下业务量突增的压力隐患，设计了一种基于sip中继接入的95598呼叫平台压力测试方法，通过该方法测得不同负载模型下的95598呼叫中心平台性能指标。利用该方法对95598南基地呼叫中心进行了测评实例分析，为95598南基地呼叫中心性能瓶颈分析和升级改造提供有力支撑。     

基于Faster R-CNN的显著性目标检测方法

显著性目标检测成为计算机视觉领域中的研究热点问题之一，但目前的方法在面对前景和背景对比度不强及复杂背景的图像时，较难取得好的检测效果。融合多尺度超像素分割方法，提出一种在背景信息相对复杂的场景中基于Faster R-CNN的显著性目标检测方法。首先对图像进行多尺度超像素分割，同时利用Faster R-CNN对图像进行目标检测，根据似物性特点对超像素进行显著性筛选，得到初始目标位置特征后进行显著性检测及优化，最后使用元胞自动机方法对多尺度超像素显著性图进行融合。通过在特定类数据集进行实验，与已有典型显著性检测进行对比分析，验证了本文方法在背景复杂的图像中可提升显著性目标检测的精度。